Volume 19, Issue 2, pp. 207-409
Please Note: Electronic articles are available well in advance of the printed articles.
Characterization of Associative Operations with Prefix Circuits of Constant Depth and Linear Size
G. Bilardi and F. P. Preparata
pp. 246-255
A Heuristic Algorithm for Small Separators in Arbitrary Graphs
David A. Plaisted
pp. 267-280
Red-Blue Intersection Detection Algorithms, with Applications to Motion Planning and Collision Detection
Pankaj K. Agarwal and Micha Sharir
pp. 297-321
Semantic Correctness for a Parallel Object-Oriented Language
J. J. M. M. Rutten
pp. 341-383
aw Kuty
kiewicz, and Krzysztof Lory